A modification of Petri nets with anticipation on a position

نویسندگان

چکیده

We propose a modification of Petri nets with strong anticipation on position. The extension modifies transition rule by adding new term that contains an integer function the marking in differences from classic are found; for example, set markings reachable current firing enabled can either be empty or contain more than one marking. consider construction reachability graph and coverability tree. give conditions existence tree algorithm constructing generalizes well-known algorithm. main ideas constructions illustrated examples.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

a study on the effectiveness of textual modification on the improvement of iranian upper-intermediate efl learners’ reading comprehension

این پژوهش به منظور بررسی تأثیر اصلاح متنی بر بهبود توانایی درک مطلب زبان آموزان ایرانی بالاتر از سطح میانی انجام پذیرفت .بدین منظور 115 دانشجوی مرد و زن رشته مترجمی زبان انگلیسی در این پزوهش شرکت نمودند.

A Fuzzy Approach to Sequential Failure Analysis Using Petri nets

In highly competitive industrial market, the concept of failure analysis is an unavoidable fact in complex industrial systems. Reliability of such systems not only depends on the reliability of each element of these systems, but also depends on occurrence of sequence of failures. In this paper, a novel approach to sequential failure analysis is proposed which is based upon fuzzy logic and the c...

متن کامل

Towards a Generic Interchange Format for Petri Nets. Position Paper

Petri Net Notation. Petri Net Newsletter 49 :9–27. Oct. 1995. [2] Lüder, Arndt and Hans-Michael Hanisch: A Signal Extension for Petri nets and its Use in Controller Design. In: H.-D. Burkhard; L. Czaja; and P. Starke (eds.), Proceedings of the CS&P’97 Workshop, no. 110 in Informatik–Berichte, (pp. 98–105), Humboldt–Universität zu Berlin, Berlin, Germany.

متن کامل

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Sistemnì doslìdžennâ ta ìnformacìjnì tehnologìï

سال: 2023

ISSN: ['1681-6048', '2308-8893']

DOI: https://doi.org/10.20535/srit.2308-8893.2023.1.08